<!DOCTYPE html>
<html class="client-nojs vector-feature-night-mode-disabled vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-sticky-header-enabled" lang="en" dir="ltr"><head>
<meta charset="UTF-8">
<title>Conditional quantifier</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="canonical" href="https://en.wikipedia.org/wiki/Conditional_quantifier"> <link href="./mw/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/user.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" type="text/css" href="./mw/site.styles.css">
<link rel="stylesheet" type="text/css" href="./mw/noscript.css">
<link rel="stylesheet" type="text/css" href="./footer.css">
<link rel="stylesheet" type="text/css" href="./vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Conditional_quantifier rootpage-Conditional_quantifier skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading">
<span id="openzim-page-title" class="mw-page-title-main"><span class="mw-page-title-main">Conditional quantifier</span></span>
</h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="en" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><p>In <a href="Logic" title="Logic">logic</a>, a <b>conditional quantifier</b> is a kind of <a href="Lindstr%C3%B6m_quantifier" title="Lindström quantifier">Lindström quantifier</a> (or <a href="Generalized_quantifier" title="Generalized quantifier">generalized quantifier</a>) <i>Q</i><sub><i>A</i></sub> that, relative to a classical model <i>A</i>, satisfies some or all of the following conditions ("<i>X</i>" and "<i>Y</i>" range over arbitrary formulas in one <a href="Free_variable" class="mw-redirect" title="Free variable">free variable</a>):
</p>
<table>
<tbody><tr>
<td></td>
<td></td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>X</i></td>
<td>[reflexivity]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> (<i>Y</i>∧<i>X</i>)</td>
<td>[right conservativity]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> (<i>Y</i>∧<i>X</i>)</td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>[left conservativity]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> (<i>Y</i>∨<i>Z</i>)</td>
<td>[positive confirmation]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> (<i>Y</i>∧<i>Z</i>)</td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> (<i>X</i>∧<i>Y</i>) <i>Z</i>
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> (<i>X</i>∨<i>Z</i>) (<i>Y</i>∨<i>Z</i>)</td>
<td>[positive and negative confirmation]
</td></tr>
<tr>
<td>
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> (¬<i>X</i>) (¬<i>Y</i>)</td>
<td>[contraposition]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i> ∧ <i>Q</i><sub><i>A</i></sub> <i>Y</i> <i>Z</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Z</i></td>
<td>[transitivity]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> (<i>X</i>∧<i>Z</i>) <i>Y</i></td>
<td>[weakening]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i> ∧ <i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Z</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>X</i> (<i>Y</i>∧<i>Z</i>)</td>
<td>[conjunction]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Z</i> ∧ <i>Q</i><sub><i>A</i></sub> <i>Y</i> <i>Z</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> (<i>X</i>∨<i>Y</i>) <i>Z</i></td>
<td>[disjunction]
</td></tr>
<tr>
<td align="right"><i>Q</i><sub><i>A</i></sub> <i>X</i> <i>Y</i></td>
<td>⇒</td>
<td><i>Q</i><sub><i>A</i></sub> <i>Y</i> <i>X</i></td>
<td>[symmetry].
</td></tr></tbody></table>
<p>(The implication arrow denotes material implication in the metalanguage.) The <i>minimal conditional logic</i> <b>M</b> is characterized by the first six properties, and stronger conditional logics include some of the other ones. For example, the quantifier ∀<sub><i>A</i></sub>, which can be viewed as set-theoretic inclusion, satisfies all of the above except [symmetry]. Clearly [symmetry] holds for ∃<sub><i>A</i></sub> while e.g. [contraposition] fails.
</p><p>A semantic interpretation of conditional quantifiers involves a relation between sets of subsets of a given structure—i.e. a relation between properties defined on the structure. Some of the details can be found in the article <a href="Lindstr%C3%B6m_quantifier" title="Lindström quantifier">Lindström quantifier</a>.
</p><p>Conditional quantifiers are meant to capture certain properties concerning conditional reasoning at an abstract level. Generally, it is intended to clarify the role of conditionals in a first-order language as they relate to other <a href="Logical_connective" title="Logical connective">connectives</a>, such as conjunction or disjunction. While they can cover nested conditionals, the greater complexity of the formula, specifically the greater the number of conditional nesting, the less helpful they are as a methodological tool for understanding conditionals, at least in some sense. Compare this methodological strategy for conditionals with that of <a href="Paraconsistent_logic" title="Paraconsistent logic">first-degree entailment</a> logics.
</p>
<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>
<p>Serge Lapierre. <b>Conditionals and Quantifiers</b>, in <i>Quantifiers, Logic, and Language</i>, Stanford University, pp. 237–253, 1995.
</p></div><!--htdig_noindex--><div><div class="zim-footer">
This article is issued from <a class="external text" title="Last edited on 2022-02-08" href="https://en.wikipedia.org/wiki/?title=Conditional_quantifier&oldid=1070602594">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
</body></html>